home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT-D.SPK / lclint / guide / stack.c < prev    next >
Text File  |  1996-08-26  |  137b  |  15 lines
  1. int *glob;
  2.  
  3. /*@dependent@*/
  4. int *f (int **x)
  5. {
  6.   int sa[2] = { 0, 1 };
  7.   int loc = 3;
  8.  
  9.   glob = &loc;
  10.   *x = &sa[0];
  11.  
  12.   return &loc; 
  13. }
  14.  
  15.